Differentiation of exponential functions